____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Riemann-Hilbert-Problem
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Die Riemann-Hilbert-Probleme (kurz RHP oder auch Riemann-Hilbert-Analysis) sind eine Klasse von mathematischen Problemstellungen, in denen eine komplexwertige Funktion M {\displaystyle M} gesucht wird.
Die Problemstellung ist folgende: Gegeben sei eine orientierte, glatte Kurve Ξ Ξ β β C {\displaystyle \Gamma \in \mathbb {C} } und eine Jump-Funktion J {\displaystyle J} , um von einer Seite der Kurve auf die andere Seite zu gelangen. Das Ziel ist es nun, die darunterliegende Funktion M {\displaystyle M} zu rekonstruieren, welche analytisch auf C β β Ξ Ξ {\displaystyle \mathbb {C} \setminus \Gamma } ist.
Die Probleme sind nach den deutschen Mathematikern Bernhard Riemann und David Hilbert benannt und haben mannigfaltige Anwendungen in der Mathematik und Physik, unter anderem trifft man sie in der Theorie der nichtlinearen partiellen Differentialgleichungen an.
Contents
β’ Vorkommen
β’ Formulierung
β’ Beispiele
β’ Einzelnachweise
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Vorkommen
Viele Problemstellungen lassen sich als Riemann-Hilbert-Probleme formulieren und sind Startpunkt fΓΌr asymptotische Analyse. Klassische Riemann-Hilbert-Probleme sind das LΓΆsen von Differentialgleichungen wie der PainlevΓ©-Gleichung vom Typ 2 (Airy-Funktion) oder das Finden von orthogonalen Polynome, wie man sie in der Spektraltheorie von Zufallsmatrizen benΓΆtigt.
Auch lΓ€sst sich das Finden von LΓΆsungen fΓΌr nichtlineare partielle Differentialgleichungen wie der KdV-Gleichung als RHP formulieren.cite-ref-1[1]
Riemann-Hilbert-Problem
Eine orientierte, glatte Kurve Ξ Ξ β β C {\displaystyle \Gamma \subset \mathbb {C} } teilt die komplexe Ebene in Ξ© Ξ© + βͺ βͺ Ξ© Ξ© β β βͺ βͺ Ξ Ξ {\displaystyle \Omega _{+}\cup \Omega _{-}\cup \Gamma } auf, wobei die positive Seite Ξ© Ξ© + {\displaystyle \Omega _{+}} links von Ξ Ξ {\displaystyle \Gamma } liegt.
Mit M + ( z ) {\displaystyle M_{+}(z)} respektive M β β ( z ) {\displaystyle M_{-}(z)} bezeichnen wir die Limits von der positiven Seite x + β β Ξ© Ξ© + {\displaystyle x_{+}\in \Omega _{+}} resp. der negativen Seite x β β β β Ξ© Ξ© β β {\displaystyle x_{-}\in \Omega _{-}} nach z β β Ξ Ξ {\displaystyle z\in \Gamma }
M + ( z ) := lim x + β β z M ( x ) {\displaystyle M_{+}(z):=\lim \limits _{x_{+}\to z}M(x)}
M β β ( z ) := lim x β β β β z M ( x ) {\displaystyle M_{-}(z):=\lim \limits _{x_{-}\to z}M(x)} ,
sofern diese existieren. Weiter sei u {\displaystyle u} die Menge der Punkte, in denen sich die Kurve selbst ΓΌberschneidet. Dann definiere Ξ Ξ u := Ξ Ξ β β u {\displaystyle \Gamma _{u}:=\Gamma \setminus u} .
Formulierung
Sei n β β N {\displaystyle n\in \mathbb {N} } , Ξ Ξ β β C {\displaystyle \Gamma \subset \mathbb {C} } eine orientierte, glatte Kurve und J : Ξ Ξ u β β GL β‘ β‘ ( n , C ) {\displaystyle J:\Gamma _{u}\to \operatorname {GL} (n,\mathbb {C} )} eine glatte Funktion.
Dann definiert das paar ( Ξ Ξ , J ) {\displaystyle (\Gamma ,J)} ein Riemann-Hilbert-Problem:
Gesucht wird eine Funktion M : C β β C n Γ Γ n {\displaystyle M:\mathbb {C} \to \mathbb {C} ^{n\times n}} , so dass
β’ M {\displaystyle M} ist analytisch auf C β β Ξ Ξ {\displaystyle \mathbb {C} \setminus \Gamma } .
β’ M + ( z ) = M β β ( z ) J ( z ) , z β β Ξ Ξ u {\displaystyle M_{+}(z)=M_{-}(z)J(z),\quad z\in \Gamma _{u}} .
β’ M ( z ) β β I n {\displaystyle M(z)\to I_{n}} wenn z β β β β {\displaystyle z\to \infty } .
Existenz und Eindeutigkeit der LΓΆsung
Die Existenz einer LΓΆsung zu einem RHP zu zeigen ist keine triviale Aufgabe und oft schwieriger als die Eindeutigkeit. Eine klassische Methode fΓΌr ein RHP ist die Methode des steilsten Anstiegs (englisch Method of steepest descent) von Deift und Zhou.cite-ref-2[2]
Beispiele
Skalares Hilbert-Riemann-Problem
Sei n = 1 {\displaystyle n=1} und Ξ Ξ = R {\displaystyle \Gamma =\mathbb {R} } , orientiert in Richtung + β β {\displaystyle +\infty } .cite-ref-3[3]
Da wir eine skalare Funktion suchen, kΓΆnnen wir unter Anwendung des Logarithmus die Problemstellung etwas umschreiben
log β‘ β‘ M + ( z ) β β log β‘ β‘ M β β ( z ) = log β‘ β‘ J ( z ) , z β β Ξ Ξ u {\displaystyle \log M_{+}(z)-\log M_{-}(z)=\log J(z),\quad z\in \Gamma _{u}} ,
welches sich mit Sokhotski-Plemeljs Formel lΓΆsen lΓ€sst. Die LΓΆsung hat folgende Form
log β‘ β‘ M ( z ) = 1 2 Ο Ο i β« β« R log β‘ β‘ J ( s ) s β β z d s {\displaystyle \log M(z)={\frac {1}{2\pi i}}\int _{\mathbb {R} }{\frac {\log J(s)}{s-z}}\mathrm {d} s} ,
allerdings existiert dieses Integral nicht immer.
Nichtlineare SchrΓΆdinger-Gleichung
Betrachte die nichtlineare SchrΓΆdinger-Gleichungcite-ref-4[4]
{ i Ο Ο t + Ο Ο x x β β 2 | Ο Ο | 2 Ο Ο = 0 , Ο Ο ( x , 0 ) = Ο Ο 0 ( x ) β β S ( R ) {\displaystyle {\begin{cases}i\psi _{t}+\psi _{xx}-2|\psi |^{2}\psi =0,\\\psi (x,0)=\psi _{0}(x)\in {\mathcal {S}}(\mathbb {R} )\end{cases}}}
wobei S ( R ) {\displaystyle {\mathcal {S}}(\mathbb {R} )} den Schwartz-Raum bezeichnet. Wir wΓ€hlen Ξ Ξ = R {\displaystyle \Gamma =\mathbb {R} } , orientiert in Richtung + β β {\displaystyle +\infty } und weiter sei fΓΌr z β β Ξ Ξ {\displaystyle z\in \Gamma }
J x , t ( z ) = ( 1 β β | r ( z ) | 2 β β r Β― Β― e β β 2 i ( 2 t z 2 + x z ) r ( z ) e 2 i ( 2 t z 2 + x z ) 1 ) {\displaystyle J_{x,t}(z)={\begin{pmatrix}1-|r(z)|^{2}&-{\bar {r}}e^{-2i(2tz^{2}+xz)}\\r(z)e^{2i(2tz^{2}+xz)}&1\end{pmatrix}}}
wobei r ( z ) β β S ( R ) {\displaystyle r(z)\in {\mathcal {S}}(\mathbb {R} )} den durch die inverse Streutransformation zu y 0 {\displaystyle y_{0}} assoziierten Reflexionskoeffizient bezeichnet.
Dann ist ( Ξ Ξ , J x , t ) {\displaystyle (\Gamma ,J_{x,t})} ein RHP.
Einzelnachweise
cite-note-33. β Percy Deift: Orthogonal Polynomials and Random Matrices: A-Riemann Hilbert Approach. Hrsg.: American Mathematical Society. Rhode Island 2000, ISBN 978-0-8218-8344-0, S. 2.
cite-note-44. β Percy Deift: Orthogonal Polynomials and Random Matrices: A-Riemann Hilbert Approach. Hrsg.: American Mathematical Society. Rhode Island 2000, ISBN 978-0-8218-8344-0, S. 12.